http://identifiers.org/mgd/MGI:4431195 MGI:4431195 targeted mutation 1, Xiaodong Wang Ripk3<tm1Xidw> Null/knockout